Iterative Development of Transformation Models by Using Classifying Terms (short paper) Frank Hilken1 Loli Burgueño2

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Engineering
• Systems science
• Software engineering
• Model transformation
• Model theory
• Metamodeling
• Object Process Methodology
• Scientific modelling

Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi

Source URL: alfa.di.uminho.pt

• Unified Modeling Language
• Systems engineering
• Software engineering
• Computing
• Systems science
• Object Constraint Language
• Metamodeling
• Model-driven architecture
• Platform-specific model
• Object Process Methodology
• MMT
• QVT

Fault-Tolerant Middleware and the Magical 1%? Tudor Dumitraş and Priya Narasimhan Carnegie Mellon University, Pittsburgh PA 15213, USA , Abstract. Through an extensive experimental

Source URL: www.ece.cmu.edu

• Computing
• Engineering
• Fault-tolerant computer systems
• Inter-process communication
• Teletraffic
• Data synchronization
• Replication
• Latency
• Fault tolerance
• Virtual synchrony
• Low latency
• Quality of service

Improving the Modifiability of the Architecture of Business Applications Xulin Zhao, Foutse Khomh, and Ying Zou Dept. of Elec. and Comp. Engineering Queen’s University Kingston, Ontario, Canada {xulin.zhao, foutse.khom

Source URL: swat.polymtl.ca

• Software engineering
• Software architecture
• Engineering
• Computing
• Cohesion
• Coupling
• Functional software architecture
• Multitier architecture
• Business process
• Reliability engineering
• Normalized Systems
• Crowdsourcing software development

PDF Document

Source URL: www.volere.co.uk

• Software engineering
• Engineering
• Software requirements
• Computing
• Systems engineering
• Software project management
• Software development process
• Systems Modeling Language
• Requirements analysis
• Requirement
• Software quality
• Software testing

Optimisation of post-combustion CCS for flexible operation Niall Mac Dowella,b a. Centre for Process Systems Engineering b. Centre for Environmental Policy Imperial College London

Source URL: www.apgtf-uk.com

SSDL: overview Goal: Improving the quality of systems and software Means:

Source URL: www.cs.technion.ac.il

• Model checking
• Formal verification
• Software engineering
• Programming language
• Software development process
• Science
• Computing
• Formal methods
• SOAP Service Description Language
• Applied mathematics

DO-254 Training course Hardware System Design Training Objectives  Manage Hardware projects under latest DO-254 guidance.  Provide an overview of mandatory

Source URL: www.silkan.com

• Systems engineering
• Quality
• Science
• DO-254
• Electronic design
• Electronic engineering
• Validation
• Software development process
• Verification
• Avionics
• Embedded systems
• Electronics

CSD Uppsala. Centrum för hållbar utveckling Assignment 2 – Pre-Study Sustainable Development – Project Management and Communication

Source URL: cemusstudent.se

• Technology
• Management
• Environment
• Environmental social science
• Work breakdown structure
• Systems engineering process
• Sustainable development
• Systems engineering
• Project management
• Business

Greater Portland Transit District Board of Directors | Executive Committee Wednesday, April 9, 2014 at 4:00 p.m. 114 Valley Street | Portland ME, 04102 METRO Conference Room

Source URL: gpmetrobus.net

• Systems engineering process
• Auditing
• Management
• Evaluation
• Marketing plan